%% This BibTeX bibliography file was created using BibDesk.
%% http://www.cs.ucsd.edu/~mmccrack/bibdesk.html


%% Created for Tobias Wrigstad at 2005-09-27 17:41:47 +0200 


%% Saved with string encoding ASCII (TeX) 


@inproceedings{LP06,
  author = {Yi Lu and John Potter},
  title = {Protecting representation with effect encapsulation},
  booktitle = {POPL},
  year = {2006}
}

@Book{scala,
  author = 	 {Martin Odersky},
  title = 	 {The Scala Language Specification 2.0},
  publisher = 	 {Programming Methods Laboratory, EFPL, Switzerland},
  year = 	 {2006}
}

@InProceedings{Leavens05,
  author = 	 {Gary T. Leavens},
  title = 	 {Why Specification Languages Need Ownership Types},
  booktitle =    {Dagstuhl workshop Types for Tools: Applications of Type Theoretic Techniques},
  address =      {Dagstuhl, Germany},
  month = 	 {June},
  year = 	 {2005},
  note = 	 {(based on joint work with Peter M{\"u}ller and Arnd Poetzsch-Heffter)}
}

@InProceedings{SW01,
  author = 	 {Mats Skoglund and Tobias Wrigstad},
  title = 	 {A Mode System for Read-Only References in {J}ava},
  booktitle =    {Formal Techniques for {J}ava Programs, in Conjunction with ECOOP 2001},
  year = 	 {2001},
  address =      {Budapest, Hungary} 
}

@InProceedings{EOC06,
  author = 	 {Erik Ernst and Klaus Ostermann and William R. Cook},
  title = 	 {A Virtual Class Calculus},
  booktitle =    {Proceedings of Principles of Programming Languages (POPL)},
  year = 	 {2006},
  address = 	 {Charleston, South Carolina, USA},
  month = 	 {January}
}

@book{TAPL,
 author = {Benjamin C. Pierce},
 title = {Types and programming languages},
 year = {2002},
 isbn = {0-262-16209-1},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA}
}

@inproceedings{GS00,
    author = "David Gay and Bjarne Steensgaard",
    title = "Fast Escape Analysis and Stack Allocation for Object-Based Programs",
    booktitle = "9th International Conference on Compiler Construction ({CC}'2000)",
    volume = "1781",
    publisher = "Springer-Verlag",
    year = "2000",
    month = "April",
    pages = {82--93}
}

@inproceedings{Bla98,
 author = {Bruno Blanchet},
 title = {Escape analysis: correctness proof, implementation and experimental results},
 booktitle = {POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1998},
 isbn = {0-89791-979-3},
 pages = {25--37},
 location = {San Diego, California, United States},
 doi = {http://doi.acm.org/10.1145/268946.268949},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@PhdThesis{muller-thesis,
  author = 	 {Peter M{\"u}ller},
  title = 	 {Modular Specification and Verification of Object-Oriented Programs},
  school = 	 {FernUniversit{\"a}t Hagen},
  year = 	 {2001}
}

@article{Bak93,
 author = {Henry G. Baker},
 title = {Infant mortality and generational garbage collection},
 journal = {SIGPLAN Notices},
 volume = {28},
 number = {4},
 year = {1993},
 issn = {0362-1340},
 pages = {55--57},
 publisher = {ACM Press},
 address = {New York, NY, USA}
}

@Book{markov,
  author = 	 {Chris Manning and Hinrich Sch{\"u}tze},
  title = 	 {Foundations of Statistical Natural Language Processing},
  publisher = 	 {{MIT} Press},
  year = 	 {1999}
}

@InProceedings{PFHV04,
  author = 	 {Filip Pizlo and Jason M. Fox and David Holmes and Jan Vitek},
  title = 	 {Real-Time {J}ava Scoped Memory: Design Patterns and Semantics},
  booktitle =    {Proceedings of the 7th IEEE International Symposium on Object-oriented Real-time distributed Computing, (ISORC)},
  year = 	 {2004}
}

@Misc{HA05,
  author = 	 {Brian Hackett and Alex Aiken},
  title = 	 {How is Aliasing Used in Systems Software?},
  month = 	 {November},
  year = 	 {2005},
  note = 	 {Unpublished},
}

@MastersThesis{ostlund-thesis,
  author = 	 {Johan {\"O}stlund},
  title = 	 {Realizing External Uniqueness \ldots or how {I}
                  learned to stop worrying (about representation
                  exposure) and love the owner},
  school = 	 {DSV, Stockholm University},
  year = 	 {2005},
  month = 	 {December},
}

@MastersThesis{CS04,
  author = 	 {Gustaf Cele and Sebastian Stureborg},
  title = 	 {Ownership Types in Practice},
  school = 	 {DSV, Stockholm University},
  year = 	 {2005},
  month = 	 {January}
}

@Article{BDF04,
  author = 	 {Mike Barnett and Robert DeLine and Manuel F{\"a}hndrich and K. Rustan M. Leino and Wolfram Schulte},
  title = 	 {Verification of Object-Oriented Programs with Invariants},
  journal = 	 {Journal of Object Technology},
  year = 	 {2004},
  volume = 	 {3},
  number = 	 {6},
  pages = 	 {27--56},
  month = 	 {June}
}

@InProceedings{DF04,
  author = 	 {Robert DeLine and Manuel F{\"a}hndrich},
  title = 	 {Typestates for Objects},
  booktitle =    ecoop,
  year = 	 {2004},
  editor = 	 {Martin Odersky},
  volume = 	 {3086},
}

@InProceedings{BLR02b,
  author = 	 {Chandrasekhar Boyapati and Robert Lee and Martin Rinard},
  title = 	 {Safe Concurrent Programming in {J}ava },
  booktitle =    {MIT LCS/AI Student Oxygen Workshop (MIT SOW 2002)},
  year = 	 {2002},
  address = 	 {Gloucester, Massachusetts},
  month = 	 {July}
}

@InProceedings{ACSE99,
  author = 	 {Jonathan Aldrich and Craig Chambers and Emin Gun Sirer and Susan Eggers},
  title = 	 {Static Analyses for Eliminating Unnecessary
                  Synchronization from {J}ava Programs},
  booktitle =    {Proceedings of the Sixth International Static Analysis Symposium},
  series =       {Lecture Notes in Computer Science},
  pages = 	 {19--38},
  year = 	 {1999},
  number =       {1694},
  address = 	 {Venezia, Italy},
  month = 	 {September},
  publisher =    {Springer-Verlag}
}

@inproceedings{BLR03,
  author =    {Chandrasekhar Boyapati and Robert Lee and Martin Rinard},
  booktitle = iwaco,
  editor =    {Dave Clarke},
  month =     {July},
  publisher = {Utrecht University},
  series =    {UU-CS-2003-030},
  title =     {Safe Runtime Downcasts with Ownership Types},
  year =      {2003}
}

@TechReport{BN03,
  author =       {Anindya Banerjee and David A. Naumann},
  title =        {Ownership Transfer and Abstraction},
  institution =  {Kansas State University},
  year = 	 {2003},
  number = 	 {KSU CIS-TR-2004-1},
  month = 	 {October}
}


@Article{BN05,
  author = 	 {Anindya Banerjee and David Naumann},
  title = 	 {Ownership Confinement Ensures Representation Independence for Object-Oriented Programs},
  journal =      {Journal of the {ACM}},
  year = 	 {2005},
  volume =       {52},
  number =       {6},
  pages =        {894--960},
  month =        {November}
}


@InProceedings{PB05,
  author = 	 {Matthew Parkinsson and Gavin Bierman},
  title = 	 {Separation Logic and Abstraction},
  booktitle =    popl,
  year = 	 {2005},
  address = 	 {Long Beach, California, USA},
  month = 	 {January},
  organization = acm
}


@InProceedings{OYR04,
  author = 	 {Peter O'Hearn and John {C.} Reynolds and Hongseok Yang},
  title = 	 {Separation Logic and Information Hiding},
  booktitle =    popl,
  year = 	 {2004},
  organization = acm
}


@inproceedings{Rey74,
  author = "Reynolds, John C.",
  title = "Towards a Theory of Type Structure",
  booktitle = "Programming Symposium",
  booksubtitle = "Proceedings, Colloque sur la Programmation",
  dates = "April 9--11",
  place = "Paris, France",
  editor = "B. Robinet",
  series = "Lecture Notes in Computer Science",
  volume = "19",
  publisher = "Springer-Verlag",
  address = "Berlin",
  year = "1974",
  pages = "408--425"
}


@InProceedings{leakbot,
  author = 	 {Nick Mitchell and Gary Sevitsky},
  title = 	 {LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large {J}ava Applications},
  booktitle = ecoop,
  pages = 	 {351--377},
  year = 	 {2003},
  editor = 	 {Luca Cardelli},
  volume = 	 {2743},
  month = 	 {January}
}

@book{JLS05,
	author = {Gosling, James   and Joy, Bill   and Steele, Guy   and Bracha, Gilad  },
	citeulike-article-id = {113341},
	howpublished = {Paperback},
	isbn = {0321246780},
	keywords = {java oopsla-paper},
	month = {July},
	priority = {2},
	publisher = {Addison-Wesley Professional},
	title = {{J}ava(TM) Language Specification, The (3rd Edition) ({J}ava Series)},
	url = {http://www.amazon.de/exec/obidos/ASIN/0321246780},
	year = {2005}
}

@book{VisualCpp,
 author = {George Shepherd and David Kruglinski},
 title = {Microsoft Visual C++ .NET (Core Reference)},
 year = {2002},
 isbn = {0735615497},
 publisher = {Microsoft Press},
 address = {Redmond, WA, USA},
 }

@inproceedings{AC04,
	Author = {Jonathan Aldrich and Craig Chambers},
	Booktitle = ecoop,
	Title = {Ownership Domains: Separating Aliasing Policy from Mechanism},
	Year = {2004}}

@misc{Don24,
	Author = {John Donne},
	Number = {17},
	Title = {Meditation {XVII}---{D}evotions upon {E}mergent {O}ccasions},
	Year = {1624}}

@book{Eil00,
	Author = {Anton Eil{\"e}ns},
	Edition = {2nd},
	Publisher = {Pearson Education},
	Title = {Principles of Object-Oriented Software Development},
	Year = {2000}}

@book{Bud02,
	Author = {Timothy Budd},
	Edition = {3rd},
	Publisher = {Addison-Wesley},
	Title = {An Introduction to Object-Oriented Programming},
	Year = {2002}}

@book{Str97,
	Author = {Bjarne Stroustroup},
	Edition = {3rd},
	Publisher = {Addison-Wesley},
	Title = {The C++ Programming Language},
	Year = {1997}}

@phdthesis{Kul04,
	Author = {Gregory W. Kulczycki},
	Month = {May},
	School = {Graduate School of Clemson University},
	Title = {Direct Reasoning},
	Year = {2004}}

@misc{HotJavaBug,
	Key = {SIP},
	Note = {http://www.cs.princeton.edu/sip/news/april29.html},
	Title = {Secture Internet Programming Group},
	Year = {1997}}

@misc{Berard,
	Author = {Edward V. Berard},
	Note = {Essay. Available from: http://www.toa.com/},
	Title = {Abstraction, Encapsulation, and Information Hiding}}

@book{Boo91,
	Address = {Menlo Park, California},
	Author = {Grady Booch},
	Publisher = {Benjamin/Cummings},
	Title = {Object-Oriented Design With Applications},
	Year = {1991}}

@inproceedings{LM04,
	Author = {K. Rustan M. Leino and Peter M{\"u}ller},
	Booktitle = ecoop,
	Title = {Object invariants in dynamic contexts},
	Year = {2004},
        series = {Lecture Notes in Computer Science},
        volume = 3086,
        pages = {491--515}
}

@inproceedings{LM05,
    author = {K. Rustan M. Leino and Peter M{\"u}ller},
    title = {Modular verification of static class invariants},
    booktitle = {Formal Methods (FM)},
    editor = {Fitzgerald, J. and Hayes, I. and Tarlecki, A.},
    series = {Lecture Notes in Computer Science},
    volume = {3582},
    pages = {26--42},
    year = {2005},
    publisher = {Springer-Verlag}
}
 
@book {ruby,
   title = {Programming Ruby: A Pragmatic Programmer's Guide},
   isbn = {0-9745140-5-5},
   publisher = {Addison-Wesley},
   year = {2004},
   month = {October},
   edition = {2nd},
   author = {Dave Thomas and Chad Fowler and Andy Hunt},
}

@book{refactoring,
 title = {Refactoring: improving the design of existing code},
 author = {Martin Fowler},
 year = {1999},
 isbn = {0-201-48567-2},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA}
}

@inproceedings{ZPV03,
	Author = {Tian Zhao and Jens Palsberg and Jan Vitek},
	Booktitle = {Journal of Functional Programming},
	Title = {Type-based Confinement},
	Volume = {15(6)},
	Year = {2005}}

@book{Gra91,
	Address = {Reading, Massachusetts},
	Author = {Ian Graham},
	Publisher = {Addison-Wesley},
	Title = {Object-Oriented Methods},
	Year = {1991}}

@InProceedings{PNCB05,
  author = 	 {Alex Potanin and James Noble and Dave Clarke and Robert Biddle},
  title = 	 {Featherweight Generic Ownership},
  booktitle = {Formal Techniques for {J}ava-like Programs (FTfJP)},
  year = 	 {2005},
  month = 	 {July}
}

@inproceedings{PNB04,
	Address = {New York, NY, USA},
	Author = {Alex Potanin and James Noble and Robert Biddle},
	Booktitle = {OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications},
	Doi = {http://doi.acm.org/10.1145/1028664.1028692},
	Isbn = {1-58113-833-4},
	Location = {Vancouver, BC, CANADA},
	Pages = {50--51},
	Publisher = {ACM Press},
	Title = {Generic ownership: practical ownership control in programming languages},
	Year = {2004}}

@inproceedings{BE04,
	Address = {New York, NY, USA},
	Author = {Adrian Birka and Michael D. Ernst},
	Booktitle = {OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications},
	Doi = {http://doi.acm.org/10.1145/1028976.1028980},
	Isbn = {1-58113-831-9},
	Location = {Vancouver, BC, Canada},
	Pages = {35--49},
	Publisher = {ACM Press},
	Title = {A practical type system and language for reference immutability},
	Year = {2004}}

@inproceedings{KA05,
	Address = {New York, NY, USA},
	Author = {Neel Krishnaswami and Jonathan Aldrich},
	Booktitle = {PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation},
	Doi = {http://doi.acm.org/10.1145/1065010.1065023},
	Isbn = {1-59593-056-6},
	Location = {Chicago, IL, USA},
	Pages = {96--106},
	Publisher = {ACM Press},
	Title = {Permission-based ownership: encapsulating state in higher-order typed languages},
	Year = {2005}}

@inproceedings{FP02,
	Address = {Deventer, The Netherlands, The Netherlands},
	Author = {Matthew Fluet and Riccardo Pucella},
	Booktitle = {TCS '02: Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science},
	Isbn = {1-4020-7181-7},
	Pages = {448--460},
	Publisher = {Kluwer, B.V.},
	Title = {Phantom Types and Subtyping},
	Year = {2002}}

@book{WWW90,
	Address = {Englewood Cliffs, New Jersey},
	Author = {Rebecca Wirfs-Brock and Brian Wilkerson and Lauren Wiener},
	Publisher = {Prentice-Hall},
	Title = {Designing Object-Oriented Software},
	Year = {1990}}

@book{RMPEL92,
	Address = {Englewood Cliffs, New Jersey},
	Author = {James R. Rumbaugh and Michael R. Blaha and William Lorensen and Frederick Eddy and William Premerlani},
	Publisher = {Prentice-Hall},
	Title = {Object-Oriented Modeling and Design},
	Year = {1991}}

@book{BGHS91,
	Address = {New York, New York},
	Editor = {Gordon Blair and John Gallagher and David Hutchison and Doug Shepherd},
	Month = {April},
	Publisher = {Halsted Press},
	Title = {Object-Oriented Languages, Systems and Applications},
	Year = {1991}}

@article{Pal73,
	Author = {Jacob Palme},
	Journal = {Modern Datateknik},
	Title = {Protected program modules in {S}imula 67},
	Volume = {12},
	Year = {1973}}

@inproceedings{LPZ02,
	Author = {K. Rustan M. Leino and Arnd Poetzsch-Heffter and Yunhong Zhou},
	Booktitle = {Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation},
	Month = {June},
	Note = {Available at \url{http://softech.informatik.uni-kl.de/downloads/publications/pldi02.pdf}},
	Pages = {246--257},
	Title = {Using Data Groups to Specify and Check Side Effects},
	Volume = {37(5)},
	Year = 2002
}

@article{DM05,
    Author  = {Werner Dietl and Peter M{\"u}ller},
    Journal = {Journal of Object Technology},
    Title   = {Universes: {L}ightweight {O}wnership for {JML}},
    Year    = {2005},
    volume  = {4},
    number  = {8},
    pages   = {5--32}
}

@TechReport{python,
  author =       "Guido {van Rossum}",
  title =        "{Python} reference manual",
  type =         {Report},
  number =       {CS-R9525},
  institution =  {Centrum voor Wiskunde en Informatica},
  address =      {P. O. Box 4079, 1009 AB Amsterdam, The Netherlands},
  month =        {April},
  year =         "1995"
}

@InProceedings{ZNV04,
  author = 	 {Tian Zhao and James Noble and Jan Vitek},
  title = 	 {Scoped Types for Real-Time {J}ava},
  booktitle =    {25th IEEE International Real-Time Systems Symposium (RTSS'04)},
  pages = 	 {241--251},
  year = 	 {2004}
}

@Article{PNCR06,
  author =	"Alex Potanin and James Noble and Dave Clarke and
		 Robert Biddle",
  title =	"Generic ownership for generic {Java}",
  journal =	"ACM SIG{\-}PLAN Notices",
  volume =	"41",
  number =	"12",
  pages =	"311--324",
  month =	dec,
  year = 	"2006",
  CODEN =	"SINODQ",
  ISSN = 	"0362-1340",
  bibdate =	"Tue Oct 24 06:22:42 MDT 2006",
  bibsource =	"http://portal.acm.org/",
  acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
		 of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
		 City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
		 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
		 \path|beebe@acm.org|, \path|beebe@computer.org|
		 (Internet), URL:
		 \path|http://www.math.utah.edu/~beebe/|",
}